Your browser does not support the video tag.
A set of rules for manipulating truth values according to truth tables.