#nor operator #boolean algebra #logic symbol #logical connective #formal logic