As expressões E1 : (p ^ r) v (~p ^ r) e E2 : (q v s) ^(~q v s) são compostas pelas quatro proposições lógicas p, q, r e s. Os valores lógicos assumidos pela expressão E1 ^ E2 são os mesmos valores lógicos da expressão: