# And Notation

The "and" operator is denoted with the carrot symbol, which looks like a equilateral triangle with no bottom side. The operator evaluates to true if both the left and right expressions are true, otherwise evaluates to false.

A | B | A∧B |
---|---|---|

0 | 0 | 0 |

0 | 1 | 0 |

1 | 0 | 0 |

1 | 1 | 1 |